1. .....................
پدیدآورنده: Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
2. Algorithmic properties of structures
پدیدآورنده: Engeler, Erwin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Data structures )Computer science(,، Computer algorithms,، Galois theory
رده :
QA
76
.
9
.
D35
E54
3. Algorithmic properties of structures
پدیدآورنده: Selected papers of Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Algorithms
رده :
TA
349
.
A69
1993
4. Foundations of mathematics :
پدیدآورنده: Erwin Engeler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA9
.
8
E795
2012
5. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده: Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Metamathematics
رده :
QA
9
.
8
.
E54
1993
6. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده: Engeler, Erwin.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Metamathematics
رده :
QA
9
.
8
.
E5413
1993
7. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Logic of Programs :
پدیدآورنده: edited by Erwin Engeler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
9. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده: edited by Erwin Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
10. Logic of programs : workshop, ETH Zurich, May-July 1979
پدیدآورنده: edited by Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
125
11. The Combinatory Programme
پدیدآورنده: by Erwin Engeler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis.,Computer science -- Mathematics.,Computer science.
رده :
QA9
.
5
B947
1995
12. The Combinatory programme
پدیدآورنده: / edited by Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Combinatory logic
رده :
511
.
3
C731
13. The combinatory programme
پدیدآورنده: Erwin Engeler ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Combinatory logic
رده :
QA
9
.
5
.
C62
14. foundations of mathematics:questions of analysis,geometry and algorithms
پدیدآورنده: Erwin Engeler
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Mathematics
رده :
QA
9
.
8
.
E5413
1993
